News
OpenAI Drops 722 Math Papers at Once: Unreleased Model's Solutions, Open on GitHub
On October 6, OpenAI published 722 math manuscripts solved by an unreleased frontier model to GitHub, open-sourced under Apache-2.0, some proofs with Lean formal verification. Its third math release in nine weeks drew a split reaction: applause from some, demands for evidence from others.